Exploiting Air-Pressure to Map Floorplans on Point Sets
نویسنده
چکیده
We prove a conjecture of Ackerman, Barequet and Pinter. Every floorplan with n internal segments can be embedded on every set of n points in generic position. The construction makes use of area universal floorplans also known as area universal rectangular layouts. The notion of area used in our context depends on a non-uniform density function. We, therefore, have to generalize the theory of area universal floorplans to this situation. For the proof we use the air-pressure approach of Izumi, Takahashi and Kajitani. The method is then used to prove a result about accommodating points in floorplans that is slightly more general than the original conjecture. We close with some remarks on the counting problem that motivated the conjecture of Ackerman et al. Mathematics Subject Classifications (2010) 05A05, 05B45, 05C10, 52C15. Submitted: December 2013 Reviewed: February 2014 Revised: March 2014 Accepted: April 2014 Final: April 2014
منابع مشابه
A bijection between permutations and floorplans, and its applications
A floorplan represents the relative relations between modules on an integrated circuit. Floorplans are commonly classified as slicing, mosaic, or general. Separable and Baxter permutations are classes of permutations that can be defined in terms of forbidden subsequences. It is known that the number of slicing floorplans equals the number of separable permutations and that the number of mosaic ...
متن کاملSe p 20 02 Entry and exit sets in the dynamics of area preserving Hénon map Emilia
In this paper we study dynamical properties of the area preserving Hénon map, as a discrete version of open Hamiltonian systems, that can exhibit chaotic scattering. Exploiting its geometric properties we locate the exit and entry sets, i.e. regions through which any forward, respectively backward, unbounded orbit escapes to infinity. In order to get the boundaries of these sets we prove that t...
متن کاملSeparated finitely supported $Cb$-sets
The monoid $Cb$ of name substitutions and the notion of finitely supported $Cb$-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported $Cb$-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported $Cb$-set is an injective map. Also, for every two distinct elements of a simple finitely supported $Cb$-set, there exists...
متن کاملA model of creative design using collaborative interactive genetic algorithms
We propose a computational model for creative design based on collaborative interactive genetic algorithms, and present an implementation for evolving creative floorplans and widget layout/colors for individual UI panels. We map our model and its implementation to earlier models of creative design from literature. We also address critical research issues with respect to the model and its implem...
متن کاملبررسی همدیدی روزهای بسیار آلوده درشهرمشهد مورد مطالعه: 13و14نوامبر2007
For a synoptic analysis of high polluted days in 13 and 14 November 2007, a combinatorial synoptic analysis was used. From methodology prospect, the present study has utilized the "circular environment" synoptic approach and with respect to the restrictions on very high-polluted days in Mashhad city, the subjective synoptic analysis used for data processing and analyzing the prevailin...
متن کامل